#!/bin/bash
# prerm script for intel-microcode
#
# see: dh_installdeb(1)

#set -e

# summary of how this script can be called:
#        * <prerm> \`remove'
#        * <old-prerm> \`upgrade' <new-version>
#        * <new-prerm> \`failed-upgrade' <old-version>
#        * <conflictor's-prerm> \`remove' \`in-favour' <package> <new-version>
#        * <deconfigured's-prerm> \`deconfigure' \`in-favour'
#          <package-being-installed> <version> \`removing'
#          <conflicting-package> <version>
# for details, see http://www.debian.org/doc/debian-policy/ or
# the debian-policy package

PATH=/usr/bin:/sbin:/usr/sbin:/usr/local/bin:/usr/local/sbin
export PATH

if [ "${BASEDIR:=/}" = "/" ]; then
    BASEDIR=""
else
    BASEDIR_OPT="-b $BASEDIR"
fi

case "$1" in
    remove|upgrade|deconfigure)
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F32-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F32-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F33-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F33-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F34-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F34-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F34-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F41-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F41-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F41-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F41-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F41-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F43-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F43-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F43-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F43-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F44-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F44-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F44-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F44-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F47-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F47-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F47-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F47-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F48-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F48-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F48-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F49-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F49-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F49-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F49-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F49-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F4A-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F4A-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F4A-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F64-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F64-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00000F68-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0001067A-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0001067A-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0001067A-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000106A4-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000106A5-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000106E5-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000106E5-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00020652-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00020655-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00020655-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206A7-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206C2-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D6-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D6-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D6-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D6-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D7-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D7-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D7-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206D7-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000206F2-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00030678-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00030679-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00030679-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00030679-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306A9-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306C3-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306C3-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306D4-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E4-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E4-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E4-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E4-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E4-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E6-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E6-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E6-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E6-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E6-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E7-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E7-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E7-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E7-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306E7-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306F2-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306F2-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306F2-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306F2-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000306F2-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00040651-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00040651-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00040651-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00040661-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00040661-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00040671-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000406E3-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000406F1-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000406F1-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000406F1-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000406F1-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000406F1-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000406F1-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050653-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050653-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050653-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050653-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050654-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050654-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050654-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050654-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050654-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050655-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050655-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050655-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050655-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050655-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050656-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050656-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050656-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050656-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050656-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050656-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050657-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050657-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050657-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050657-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050657-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00050657-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0005065B-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0005065B-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0005065B-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0005065B-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0005065B-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/0005065B-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000506C9-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000506CA-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000506E3-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000506E3-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000506E3-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000606A5-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000606A5-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000606A5-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000606A6-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000606A6-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000606A6-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806C2-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806C2-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806D1-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806D1-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806E9-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806EA-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806EB-40
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806EB-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806EC-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000806EC-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00090672-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00090672-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00090675-01
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00090675-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/00090675-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000906A4-80
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000906E9-08
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000906E9-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000906EA-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000906EC-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000906ED-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000A0653-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000A0655-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B0671-10
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B0671-20
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B06F2-01
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B06F2-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B06F2-04
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B06F5-01
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B06F5-02
	[ "$ZONEINST" = "1" ] || rm -f $BASEDIR/platform/i86pc/ucode/GenuineIntel/000B06F5-04
    ;;

    failed-upgrade)
    ;;

    *)
        echo "prerm called with unknown argument '$1'" >&2
        exit 1
    ;;
esac

# dh_installdeb will replace this with shell code automatically
# generated by other debhelper scripts.

#DEBHELPER#

exit 0

